Método verificador para determinar os valores finais de instruções que podem ter valores de verdade ou falsidade das declarações da lógica proposicional, consistindo da combinação de todos os valores da verdade e falsidade das proposições tautologias ou leis, se todos os valores são verdadeiros; contradições, se todos forem false e indeterminations, se algum verdadeiro e o outro falso. É, por exemplo, a instrução p ou não p; Como é uma declaração de ordem, como não há uma única proposta, a combinação será a dois valores: true verdadeiro - falso e falso -, que, pela definição da disjunção nos dará verdadeiro em ambos os casos. É o princípio do terceiro excluído: ser ou não ser, eis a questão.